four color theorem câu

• The Four Color Theorem was the first major theorem to be proved using a computer.
  Định lý bốn màu là định lý lớn đầu tiên được chứng minh bằng máy vi tính.
• The four color theorem was the first major theorem to be proved using a computer.
  Định lý bốn màu là định lý lớn đầu tiên được chứng minh bằng máy vi tính.
• The four color theorem was proven in 1976 by Kenneth Appel and Wolfgang Haken.
  Định lý 4 màu đã được chứng minh năm 1976 bởi 2 ông Kenneth Appel và Wolfgang Haken.
• The four color theorem was proven in 1976 by Kenneth Appel and Wolfgang Haken by using a computer.
  Định lý 4 màu đã được chứng minh năm 1976 bởi 2 ông Kenneth Appel và Wolfgang Haken.
• For example, the first proof of the four color theorem was a proof by exhaustion with 1,936 cases.
  Ví dụ như, cách chứng minh định lý bốn màu đầu tiên là một chứng minh vét cạn với 1.936 trường hợp.
• The shortest known proof of the four color theorem as of 2011 still has over 600 cases.
  Cách chứng minh đã biết tới ngắn nhất của định lý bốn màu ngày nay vẫn có tới hơn 600 trường hợp.
• The shortest known proof of the four color theorem Template:As of still has over 600 cases.
  Cách chứng minh đã biết tới ngắn nhất của định lý bốn màu ngày nay vẫn có tới hơn 600 trường hợp.
• The shortest known proof of the four color theorem today still has over 600 cases.
  Cách chứng minh đã biết tới ngắn nhất của định lý bốn màu ngày nay vẫn có tới hơn 600 trường hợp.
• The shortest known proof of the four color theorem as of 2011[update] still has over 600 cases.
  Cách chứng minh đã biết tới ngắn nhất của định lý bốn màu ngày nay vẫn có tới hơn 600 trường hợp.
• In 1976, Wolfgang Haken and Kenneth Appel used a computer to prove the four color theorem.
  Wolfgang Haken và Kenneth Appel đã sử dụng một chiếc máy tính để chứng minh định lý bốn màu vào năm 1976.
• In 1976, Wolfgang Haken and Kenneth Appel used a computer to prove the four color theorem.
  Wolfgang Haken và Kenneth Appel đã sử dụng một chiếc máy tính để chứng minh định lý bốn màu vào năm 1976.[40]
• The shortest known proof of the four color theorem today still has over 600 cases.
  Cách chứng minh đã biết tới ngắn nhất của định lý bốn màu ngày nay vẫn có tới hơn 600 trường hợp.936 trường hợp.
• The shortest known proof of the four color theorem as of 2011 still has over 600 cases.
  Cách chứng minh đã biết tới ngắn nhất của định lý bốn màu ngày nay vẫn có tới hơn 600 trường hợp.936 trường hợp.
• Other results in geometry and topology, including the four color theorem and Kepler conjecture , have been proved only with the help of computers.
  Những bài toán khác trong hình học và tô-pô, bao gồm định lý bốn màu và giả thiết Kepler, chỉ giải được với sự trợ giúp của máy tính.
• Other results in geometry and topology, including the four color theorem and Kepler conjecture, have been proved only with the help of computers.
  Những bài toán khác trong hình học và tô-pô, bao gồm định lý bốn màu và giả thiết Kepler, chỉ giải được với sự trợ giúp của máy tính.
• Other results in geometry and topology, including the four color theorem and Kepler conjecture, have been proved only with the help of computers.
  Những bài toán khác trong hình học và tô-pô, bao gồm định lý bốn màu và giả thuyết Kepler, chỉ giải được với sự trợ giúp của máy tính.
• Other results in geometry and topology, including the four color theorem and Kepler conjecture , have been proved only with the help of computers.
  Những bài toán khác trong hình học và tô-pô, bao gồm định lý bốn màu và giả thuyết Kepler, chỉ giải được với sự trợ giúp của máy tính.
• Six colors suffice to color any map on the surface of a Klein bottle; this is the only exception to the Heawood conjecture, a generalization of the four color theorem, which would require seven.
  Sáu màu sắc đủ để tô màu bất kỳ bản đồ trên bề mặt của một chai Klein, đây là ngoại lệ duy nhất để phỏng đoán Heawood, một dạng tổng quát của định lý bốn màu, nhưng sẽ yêu cầu đến bảy màu.